Consistently-Detecting Monitors
نویسنده
چکیده
We study a contextual definition for deterministic monitoring based on consistent detections. It is defined in terms of the observed behaviour of the monitor when instrumented over arbitrary systems. We give an alternative, coinductive definition based on controllability which does not rely on system quantifications, and show that it is fully-abstract wrt. the former definition. We then develop a symbolic counterpart to the controllability definition to facilitate an automated analysis for controllable monitors involving data. 1998 ACM Subject Classification F.3.1 Specifying and Verifying and Reasoning about Programs, F.3.2 Semantics of Programming Languages Process models, D.2.5 Testing and Debugging
منابع مشابه
Vulnerabilities of Passive Internet Threat Monitors
Passive Internet monitoring is a powerful tool for measuring and characterizing interesting network activity like worms or distributed denial of service attacks. By employing statistical analysis on the captured network traffic, Internet threat monitors gain valuable insight into the nature of Internet threats. In the past, these monitors have been successfully used not only to detect DoS attac...
متن کاملMEDICAL ENTOMOLOGY Effectiveness of Bed Bug Monitors for Detecting and Trapping Bed Bugs in Apartments
Bed bugs, Cimex lectularius L., are now considered a serious urban pest in the United States. Because they are small and difÞcult to Þnd, there has been strong interest in developing and using monitoring tools to detect bed bugs and evaluate the results of bed bug control efforts. Several bed bug monitoring devices were developed recently, but their effectiveness is unknown. We comparatively ev...
متن کاملEffectiveness of bed bug monitors for detecting and trapping bed bugs in apartments.
Bed bugs, Cimex lectularius L., are now considered a serious urban pest in the United States. Because they are small and difficult to find, there has been strong interest in developing and using monitoring tools to detect bed bugs and evaluate the results of bed bug control efforts. Several bed bug monitoring devices were developed recently, but their effectiveness is unknown. We comparatively ...
متن کاملSynthesizing Protection Monitors from Causal Structure
Protection monitors synthesized from plan causal structure provide execution systems with information necessary to detect potential failures early during execution. By detecting early, the execution system is able to address these problems and keep the execution on track. When the execution system finds that the necessary repairs are beyond its capabilities, early detection gives the planning s...
متن کاملElectromagnetic Radiofrequency Radiation Emitted from GSM Mobile Phones Decreases the Accuracy of Home Blood Glucose Monitors
Mobile phones are two-way radios that emit electromagnetic radiation in microwave range. As the number of mobile phone users has reached 6 billion, the bioeffects of exposure to mobile phone radiation and mobile phone electromagnetic interference with electronic equipment have received more attention, globally. As self-monitoring of blood glucose can be a beneficial part of diabetes control, ho...
متن کامل